Элементарные дифференциальные уравнения и задачи с граничными условиями: за пределами элементарных функций: сила метода рядов

Хотя элементарные функции, такие как $\sin x$ и $e^x$, удовлетворяют простым дифференциальным уравнениям, многие физические явления — например, распределение тепла или квантовые состояния — описываются уравнениями, не имеющими решений в замкнутой форме. На этом слайде рассматривается ряд Тейлора как основной инструмент, позволяющий представлять неизвестные решения в виде бесконечных степенных рядов.

Предполагая, что решение является аналитическим в точке, мы преобразуем задачу нахождения решения дифференциального уравнения в задачу определения последовательности числовых коэффициентов.

1. Основы аналитичности

Функция $f$, которая имеет разложение в ряд Тейлора около точки $x = x_0$ с радиусом сходимости $\rho > 0$, называется аналитическим в точке $x = x_0$. Это свойство является необходимым условием для поиска решений в виде рядов обыкновенных дифференциальных уравнений. Если коэффициентные функции нашего ОДУ аналитичны в точке $x_0$, то решение $y(x)$ гарантированно будет аналитично в этой же точке.

2. Представление ряда Тейлора

Ряд $\displaystyle f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n$ называется рядом Тейлора функции $f$ около точки $x = x_0$. Коэффициенты определяются по формуле:

$$\displaystyle a_n = \frac{f^{(n)}(x_0)}{n!}$$

Это связывает глобальное поведение функции с её локальными производными в одной точке.

3. Сходимость и обоснование

Решение в виде степенного ряда имеет смысл только в пределах его радиуса сходимости. Например, хотя экспоненциальная функция $\displaystyle e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}$ сходится для всех $x$ ($\rho = \infty$), другие ряды, полученные из дифференциальных уравнений, могут сходиться только в пределах определённого расстояния от точки разложения $x_0$. Это расстояние обычно определяется особыми точками (где коэффициенты уравнения теряют смысл) уравнения.

Пример: Открытие $e^x$ с помощью дифференциальных уравнений

Рассмотрим дифференциальное уравнение $y' = y$ с начальным условием $y(0)=1$. Вместо подбора решения мы предполагаем форму степенного ряда:

$$y(x) = \sum_{n=0}^{\infty} a_n x^n = a_0 + a_1x + a_2x^2 + \dots$$

Дифференцирование даёт $y'(x) = \sum_{n=1}^{\infty} n a_n x^{n-1}$. Подставляя в уравнение $y'=y$:

$$\sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} a_n x^n$$

Выравнивая индексы, получаем $(n+1)a_{n+1} = a_n$, откуда следует $\displaystyle a_n = \frac{a_0}{n!}$. Так как $y(0)=1$, то $a_0=1$. Результатом является ряд Тейлора для $e^x$.

🎯 Основной принцип

Степенные ряды позволяют «открывать» функции, преобразуя задачи исчисления в алгебраические рекуррентные соотношения. Аналитичность в точке $x_0$ гарантирует, что локальные данные дифференциального уравнения можно продолжить в допустимую окрестность.

ВОПРОС 1

Определите радиус сходимости (ρ) для степенного ряда: $\sum_{n=0}^{\infty} (x-3)^n$.

ρ = 1

ρ = 3

ρ = ∞

ρ = 0

ВОПРОС 2

Каково представление ряда Тейлора для $\sin x$ около $x_0 = 0$, и какой у него радиус сходимости?

$\sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}$, ρ = ∞

$\sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!}$, ρ = ∞

$\sum_{n=0}^{\infty} \frac{(-1)^n x^{n}}{n!}$, ρ = 1

$\sum_{n=0}^{\infty} \frac{x^{2n+1}}{(2n+1)!}$, ρ = 0

ВОПРОС 3

Если функция $f$ аналитична в точке $x = x_0$, то какое из следующих утверждений обязательно верно?

У неё есть разложение в ряд Тейлора с радиусом сходимости ρ > 0.

Она является полиномом конечной степени.

Все её производные равны нулю в точке $x_0$.

Она определена только в точке $x_0$.

ВОПРОС 4

Для дифференциального уравнения $y'' + p(x)y' + q(x)y = 0$ как определяется нижняя граница радиуса сходимости решения в виде ряда около $x_0$?

Расстояние от $x_0$ до ближайшей особой точки в комплексной плоскости.

Значение постоянного коэффициента $a_0$.

Степень полинома $P(x)$.

Он всегда бесконечен для линейных уравнений.

ВОПРОС 5

В рекуррентном соотношении, полученном из $y' = y$, каково конкретное значение коэффициента $a_n$, если $a_0 = 1$?

$a_n = 1/n!$

$a_n = n!$

$a_n = 1$

$a_n = (-1)^n/n$

Кейс: Анализ особенностей и контекст Бесселя

Решения в виде рядов в физических системах

В математической физике, особенно при рассмотрении теплопроводности в цилиндрах, мы сталкиваемся с дифференциальным уравнением $x^2y'' + 2xy' + xy = 0$. Мы хотим исследовать обоснованность решения в виде степенного ряда около $x_0 = 0$.

В1

Перепишите уравнение в стандартной форме $y'' + p(x)y' + q(x)y = 0$. Является ли $x_0 = 0$ обычной точкой или особой точкой?

Решение:
Стандартная форма: $y'' + (2/x)y' + (1/x)y = 0$.
Здесь $p(x) = 2/x$ и $q(x) = 1/x$. Поскольку обе функции стремятся к бесконечности при $x=0$, они не аналитичны в этой точке. Следовательно, $x_0 = 0$ является особой точкой. Здесь нельзя предполагать простое решение в виде ряда Тейлора; потребуется метод Фробениуса.

В2

Определите нижнюю границу радиуса сходимости решения в виде ряда для уравнения $(1+x^2)y'' + 2xy' + 4x^2y = 0$ около $x_0 = 0$.

Решение:
Особые точки возникают там, где $P(x) = 1+x^2 = 0$, то есть $x = \pm i$. Точка разложения — $x_0 = 0$. Расстояние в комплексной плоскости от $0$ до $i$ (или $-i$) равно $|0 - i| = 1$.
Следовательно, нижняя граница радиуса сходимости равна ρ = 1.

В3

Используя приведённую логику рекуррентного соотношения, покажите, что если $a_{n+2} = \frac{a_n}{(n+2)(n+1)}$ и $y(0)=1$, $y'(0)=0$, то решение — это $\cosh(x)$.

Решение:
1. Поскольку $y'(0)=0$, то $a_1 = 0$, что делает все нечётные коэффициенты равными нулю ($a_1, a_3, a_5... = 0$).
2. Для чётных коэффициентов: $a_2 = a_0/(2\cdot 1)$, $a_4 = a_2/(4\cdot 3) = a_0/(4!)$, и вообще $a_{2n} = a_0/(2n)!$.
3. При $a_0 = y(0) = 1$ ряд имеет вид $\sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!}$, что является рядом Тейлора для $\cosh(x)$.